| Module | LV Type | CP | LV | Dates | Examination |
|---|---|---|---|---|---|
| Advanced Automata Theory | Fach-/Modulprüfung | 6 | 452625 | ||
| Algorithmic Foundations of Datascience | Fach-/Modulprüfung | 6 | 453215 | ||
| Vorlesung | 448771 | Mi 08:30-10:00 HKW 2 (1132|303) (×13) Do 14:30-16:00 AH III (2350|314.1) (×12) | |||
| Übung | 448750 | Di 10:30-12:00 AH I (2350|028) (×12) | |||
| Algorithmische Spieltheorie | Fach-/Modulprüfung | 6 | 451224 | ||
| Approximations- und Online-Algorithmen | Fach-/Modulprüfung | 6 | 450842 | ||
| Fixpoints and Induction in Logic and Computer Science | Fach-/Modulprüfung | 6 | 468643 | ||
| Vorlesung | 455732 | Mi 10:30-12:00 5056 (2356|056) (×13) Do 08:30-10:00 5056 (2356|056) (×5) | |||
| Übung | 455741 | Mi 16:30-18:00 5054 (2356|054) (×9) | |||
| Formale Grundlagen von UML | Fach-/Modulprüfung | 6 | 453220 | ||
| Funktionale Programmierung | Fach-/Modulprüfung | 6 | 453151 | ||
| Graphzerlegungen und algorithmische Anwendungen | Fach-/Modulprüfung | 6 | 455839 | ||
| Vorlesung | 455435 | Mo 16:30-18:00 AH II (2350|111) (×9) Do 16:30-18:00 AH I (2350|028) (×9) | |||
| Übung | 455436 | Fr 12:30-14:00 5056 (2356|056) (×4) Fr 12:30-14:00 Seminarraum i7, Raum 4116 (2353|116) (×1) | |||
| Höhere Algorithmik | Fach-/Modulprüfung | 6 | 454391 | ||
| Infinite Computations and Games | Fach-/Modulprüfung | 6 | 454588 | ||
| Kombinatorische Graphentheorie | Fach-/Modulprüfung | 6 | 452226 | ||
| Logics for Reasoning about Uncertainty | Fach-/Modulprüfung | 4 | 454552 | ||
| Logikprogrammierung | Fach-/Modulprüfung | 6 | 452059 | ||
| Vorlesung | 454728 | Di 16:30-18:00 AH III (2350|314.1) (×11) Mi 16:30-18:00 AH IV (2354|030) (×2) Fr 12:30-14:00 AH III (2350|314.1) (×11) | |||
| Übung | 454727 | Di 16:30-18:00 AH III (2350|314.1) (×2) Mi 09:00-13:00 AH III (2350|314.1) (×1) Mi 09:30-12:30 5055 (2356|055) (×1) Mi 16:30-18:00 AH IV (2354|030) (×8) Do 09:00-18:00 5055 (2356|055) (×1) Fr 12:30-14:00 AH III (2350|314.1) (×1) | |||
| Model Checking | Fach-/Modulprüfung | 6 | 455274 | ||
| Vorlesung | 455138 | Mo 10:30-12:00 AH II (2350|111) (×12) Mo 14:00-16:00 5055 (2356|055) (×1) Do 12:30-14:00 AH II (2350|111) (×9) | |||
| Übung | 455137 | Mo 10:30-12:00 AH II (2350|111) (×1) Mi 16:30-18:00 AH V (2356|050) (×10) | |||
| Modeling and Verification of Probabilistic Systems | Fach-/Modulprüfung | 6 | 454399 | ||
| Modellierung und Analyse hybrider Systeme | Fach-/Modulprüfung | 6 | 452314 | ||
| Online Algorithmen | Fach-/Modulprüfung | 6 | 450885 | ||
| Vorlesung | 455712 | Di 12:30-14:00 Seminarraum i1, Raum 4017 (2353|017) (×9) Di 16:30-18:00 AH II (2350|111) (×10) Mi 12:30-14:00 Seminarraum i1, Raum 4017 (2353|017) (×1) Do 10:30-12:00 5055 (2356|055) (×1) Fr 12:30-14:00 AH V (2356|050) (×9) | |||
| Probabilistic Programming | Fach-/Modulprüfung | 6 | 454494 | ||
| Provenance Analysis and Semiring Semantics for Logics and Games | Fach-/Modulprüfung | 4 | 468498 | ||
| Vorlesung | 455749 | Mo 12:30-14:00 SG 513 (1810|513) (×12) | |||
| Quantum Computing | Fach-/Modulprüfung | 4 | 451114 | ||
| Rekursionstheorie | Fach-/Modulprüfung | 6 | 454405 | ||
| Semantik und Verifikation von Software | Fach-/Modulprüfung | 6 | 451529 | ||
| Statische Programmanalyse | Fach-/Modulprüfung | 6 | 450693 | ||
| Vorlesung | 455273 | Mo 12:30-14:00 AH I (2350|028) (×9) Mo 14:00-16:00 5055 (2356|055) (×1) Di 14:30-16:00 AH II (2350|111) (×11) | |||
| Übung | 455272 | Fr 10:30-12:00 AH III (2350|314.1) (×9) | |||
| The Graph Isomorphism Problem | Fach-/Modulprüfung | 6 | 452835 | ||
| Theory of Constraint Satisfaction Problems | Fach-/Modulprüfung | 6 | 450975 | ||
| Theory of Distributed and Parallel Systems | Fach-/Modulprüfung | 6 | 451897 |